The Faithfulness of Fat: A Proof-Theoretic Proof
نویسندگان
چکیده
منابع مشابه
The Faithfulness of Fat: A Proof-Theoretic Proof
It is known that there is a sound and faithful translation of the full intuitionistic propositional calculus into the atomic polymorphic system Fat, a predicative calculus with only two connectives: the conditional and the second-order universal quantifier. The faithfulness of the embedding was established quite recently via a model-theoretic argument based in Kripke structures. In this paper w...
متن کاملA pr 2 00 2 A GAUGE THEORETIC PROOF OF THE ASYMPTOTIC FAITHFULNESS CONJECTURE
We prove that the sequence of projective representations of the mapping class group obtained from the projective flat connection in the Verlinde bundle over Teichmüller space constructed independently by Axelrod, Della Pietra and Witten and by Hitchin is asymptotically faithful, that is the intersection over all levels of the kernels of these representations is trivial, whenever the genus of th...
متن کاملProof-theoretic type interpretation: a glimpse to proof-theoretic semantics
A foundation of model-theoretic semantics (MTS) for natural language (NL), ever since Montague’s seminal work, is the typing of meanings, most often expressed in some variant of the simply-typed λ -calculus. Types are interpreted in what is known as Henkin models, whereby basic types τ are interpreted as denoting arbitrary sets Dτ , except for the type t (of sentential meanings), denoting the t...
متن کاملA simple proof of Zariski's Lemma
Our aim in this very short note is to show that the proof of the following well-known fundamental lemma of Zariski follows from an argument similar to the proof of the fact that the rational field $mathbb{Q}$ is not a finitely generated $mathbb{Z}$-algebra.
متن کامل(Ordinal-theoretic) Proof Theory
This course provides an introduction to ordinal-based proof theory, and the notion of proof-theoretic strength particularly for type-theories, or systems which can be seen as type-theories through the Curry-Howard correspondence. A surprisingly large number of number of people express some curiosity about the subject, and this is my excuse for offering it. The technical content will be divided ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Studia Logica
سال: 2015
ISSN: 0039-3215,1572-8730
DOI: 10.1007/s11225-015-9620-5